Morphological Differences between Geoffroy’s Tamarin and Mustached Tamarin in Cranial Dimensions Related to the Temporalis Muscle.
نویسندگان
چکیده
منابع مشابه
Tamarin: Concolic Disequivalence for MIPS
Given two MIPS programs, when are they equivalent? At first glance, this is tricky to define, because of the unstructured nature of assembly code. We propose the use of alternating concolic execution to detect whether two programs are disequivalent. We have implemented our approach in a tool called Tamarin, which includes a MIPS emulator instrumented to record symbolic traces, as well as a conc...
متن کاملSensory biases underlie sex differences in tamarin long call structure
Within the vocal repertoires of many species, both males and females produce acoustic variants of the same call type. Despite the relative salience of the acoustic features that correlate with the caller’s sex, little is known about the functional significance of this acoustic cue. Specifically, do conspecifics use this information when making behavioural decisions, implying that it is meaningf...
متن کامل"Giant" tamarin from the Miocene of Colombia.
A nearly complete but badly crushed skull and mandible of Lagonimico conclucatus, gen. et sp. nov. is described from the La Victoria Formation, Colombia. The specimen is of middle Miocene age and dates from about 13.5 Ma. Features of the dentition suggest Lagonimico is a sister group to living Callitrichinae (Saguinus, Leontopithecus, Callithrix, and Cebuella). These features include having elo...
متن کاملTamarin and marmoset mating systems: Unusual flexibility.
Recent studies of wild tamarins and marmosets have shown that at least one species exhibits variable mating patterns, including cooperative polyandry, monogamy and, more rarely, polygyny. Polyandry is thought to occur because the high frequency of twinning and the relatively high weights of infants in these species make the rearing of infants unusually difficult. Nonreproductive helpers (older ...
متن کاملThe TAMARIN Prover for the Symbolic Analysis of Security Protocols
The Tamarin prover supports the automated, unbounded, symbolic analysis of security protocols. It features expressive languages for specifying protocols, adversary models, and properties, and support for efficient deduction and equational reasoning. We provide an overview of the tool and its applications.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Primate Research
سال: 2003
ISSN: 0912-4047,1880-2117
DOI: 10.2354/psj.19.165